1. .....................
پدیدآورنده : ACM Symposium on Theory of Computing,6 th, Seattle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Progamming - Congresses ، Electronic digital computers,Congresses ، Computational complexity
رده :
QA
76
.
6
.
A13
1974
2. Algorithms :
پدیدآورنده : International Symposium SIGAL '90, Tokyo, Japan, August 16-18, 1990 ; T. Asano ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms, Congresses.
رده :
QA9
.
58
.
I58
1990
3. Combinatorial algorithms :
پدیدآورنده : Charles J. Colbourn, Roberto Grossi, Nadia Pisanti (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms, Congresses.,Combinatorial analysis, Congresses.,Algorithms.,Combinatorial analysis.
رده :
QA164
.
I58
2019
4. Complex networks X :
پدیدآورنده : Sean P. Cornelius, Clara Granell Martorell, Jesús Gómez-Gardeñes, Bruno Gonçalves, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Online social networks, Congresses.,Computer networks.,Online social networks.
رده :
TK5105
.
5
5. Computational compexity: proceedings 15th Annual IEEE Conference on Computational Complexity, July 4-7, 2000, Florence, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT, EATCS
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
S76
2000
6. Computational complexity : proceedings : 17th IEEE Annual Conference on Computational Complexity : 21-24 May, 2002, Montreal, Canada
پدیدآورنده : Sponsored by IEEE Computer Society Techninal Committee on Mathematical Foundation of Computing; in cooperation with SIGACT...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2002
7. Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois
پدیدآورنده : sponsored by The IEEE Computer Society, Technical Committee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT, EATCS
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2001
8. Computational group theory and the theory of groups : AMS Special Session on Computational Group Theory, March 3-4, 2007, Davidson College, Davidson, North Carolina
پدیدآورنده : Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Group theory,Congresses ، Computational complexity
رده :
QA
174
.
A478
2007
9. Computational group theory and the theory of groups : AMS Special Session on Computational Group Theory, March 3-4, 2007, Davidson College, Davidson, North Carolina
پدیدآورنده : Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Group theory,Congresses ، Computational complexity
رده :
QA
174
.
A67
2007
10. Computational group theory and the theory of groups: AMS Special Session on Computational Group Theory, March 3-4, 2007, Davidson College, Davidson, North Carolina
پدیدآورنده : Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Group theory,Congresses ، Computational complexity
رده :
QA
174
.
A673
2007
11. Computational group theory and the theory of groups, II : Computational Group Theory and Cohomology, August 4-8, 2008, , Grantham, United Kingdom : AMS Special Session, Computational Group Theory, October 17-19, 2008, Western Michigan University, Kalamazoo, MI
پدیدآورنده : Luise-Charlotte Kappe; Arturo Magidin; Robert Fitzgerald Morse, editors.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع : ، Computational complexity,، Group theory,، Group theory -- Congresses,، Computational complexity -- Congresses
رده :
QA
174
.
H37
C66
12. Computational group theory and the theory of groups, II : Computational Group Theory and Cohomology, August 4-8, 2008, Harlaxton College, Grantham, United Kingdom : AMS Special Session, Computational Group Theory, October 17-19, 2008, Western Michigan University, Kalamazoo, MI
پدیدآورنده : Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Group theory,Congresses ، Computational complexity
رده :
QA
174
.
A478
2008
13. Computer algebra in scientific computing :
پدیدآورنده : Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
14. Computer science -- theory and applications :
پدیدآورنده : René van Bevern, Gregory Kucherov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Computer science, Congresses.,Computer algorithms.,Computer science.
رده :
QA75
.
5
15. Information security and cryptology -- ICISC 2017 :
پدیدآورنده : Howon Kim, Dong-Chan Kim (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Artificial intelligence.,Coding theory & cryptology.,Computer security.,Computer security.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
16. Proceedings of the ... Annual ACM Symposium on Theory of Computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
267
.
A27a
2002
17. Proceedings of the Ninth Structure in Complexity Theory Conference, June 28-July 1, 1994, Amsterdam, The Netherlands
پدیدآورنده : Structure in Complexity Theory Conference )9th: 4991: Amsterdam, The Netherlands(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computational Complexity -- Congresses
رده :
QA
267
.
7
.
S75
1994
18. Proceedings of the 33rd annual ACM Symposium on the Theory of Computing : Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده : Sponsored by SIGACT ]The ACM Special Interest Group for Algorithms and Computation Theory[, organized by the Computer Technology Institute
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2001
19. Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, Lllinois, USA, June 13-15, 2004
پدیدآورنده : sponsored by SIGACT, The ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2004
20. Proceedings of the 34th Annual ACM Symposium on Theory of Computing, Montreal, Quebec, Canada, May 19-21, 2002
پدیدآورنده : Sponsored by SIGACT )The special Interest Group for Algorithms and Computational Theory(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2002
